 If both ‘David’ and ‘Lumpl’ are rigid designators, then ‘David = Lumpl’ is necessarily true if it is true in any possible world at all. So, if it is even possible that David ≠ Lumpl, then David ≠ Lumpl. David and Lumpl are distinct, however intimately related, because they have different modal properties: Lumpl could instantiate ballhood, while David could not. The rigidity of ‘David’ and ‘Lumpl’ evidently requires as much. In order to say that ‘David = Lumpl’ is contingently true, Gibbard gives up the thesis that ‘David’ and ‘Lumpl’ are rigid designators in the usual respect. He maintains that designators are “rigid,” very loosely speaking, only with respect to a sortal: ‘David’ is statue-rigid, always referring to the same statue, while ‘Lumpl’ is lump-rigid, always referring to the same lump. Accordingly, ‘Possibly, David is no statue’ is false, while ‘Possibly, Lumpl is no statue’ is true. What about the object that is, as a matter of fact, both a statue and a lump? For Gibbard, objects have no modal properties and it makes no sense to say that an object in some other possible world is identical to an object in the actual world. This is counterintuitive, but again Gibbard does offer a non-standard semantics to accommodate modal talk.