Proper names are rigid designators.