 The most popular reply to this worry is due to David Lewis (1971, 1986), who defends a counterpart theory of de re modal ascriptions. According to Lewis, ordinary objects like Goliath exist in only one possible world, but have counterparts at other worlds that serve as truth-makers for de re modal ascriptions. Crucially, whether or not something counts as a counterpart of Goliath (for example) will depend on what respects of similarity are at issue. Since the name ‘Goliath’ is associated with the kind statue, a sentence like “Goliath could survive being squashed” will normally be true (relative to a context) just in case Goliath has some statue-counterparts that survive squashing (i.e., some counterparts that survive squashing as statues). Presumably, there are no such counterparts, so that sentence will express a falsehood. Meanwhile, the name ‘Lumpl’ is associate with kind lump of clay, so a sentence like “Lumpl could survive being squashed” will be true just in case Lumpl has a lump-counterpart that survives being squashed. Presumably, there are some such objects at other worlds, so that sentence will express a truth. Moreover, this will be the case even if the temporal parts theorist is correct and a single object is picked out by both ‘Lumpl’ and ‘Goliath’. The key point is that the phrase ‘could survive being squashed’ expresses different properties when combined with these names, so Leibniz’s Law has no application. (For objections to counterpart theory, see Fara and Williamson 2005.)