UNA

UNA stands for unique-names assumption. It's basically:

different names = different objects

Examples
With UNA, you cannot say that The Professor and Arsène Wenger are really the same object.