If names are rigid designators, then there can be no question about identities being necessary, because 'a' and 'b' will be rigid designators of a certain man or thing Then even in every possible world, a and will both refer to this same object, and to no other, and so there will be no situation in which a might not have been.