Why Short Names Are Harder Than They Look