The names are just pointers, and they're both pointing to the same definition in your example. But when you redefine one of those, you would point one of the names to a new definition.
It's similar to how DNS can have two domains point to the same IP, but then you can change one of those domains point to a new IP.