A proper name must be globally unique to be definite.