 This argument illustrates the interdependence of the various topics discussed under the rubric of identity. Whether it is valid, of course, depends on the correct analysis of modal predication, and, in particular, on whether it should be analysed in terms of “identity across possible worlds” or in terms of Lewisian counterpart theory. This is the topic of the next section.