Someone local to me has called their children Harvard and Harvey. Are they not basically the same thing? Could Harvey not be short for Harvard? I think it is like Sammy and Samuel? Or AIBU and they are totally different names?