Weird Names That Are Short For Other Names