I had always heard this saying as an undergrad in CS but never understood why names were supposed to be a hard problem until reading about modal logic about a decade later.

https://en.wikipedia.org/wiki/Naming_and_Necessity