 For her part, the counterparts-invoking theorist might emphasize the desirability of  reduction.[5]  Or she might point to other desiderada: for another likely example, she might wish to maintain contingency where rigidity commits us to necessity (Gibbard 1975, p. 188; Lewis 1986, p. 256; Delia Graff Fara joins many others in counting this as “the main benefit” of a counterpart construal: 2008, p. 186). One might turn to counterpart theory for relief from vagueness, since whether an object essentially has any given property can be a vague question; on the other hand, so too can the “question whether an object actually has a certain property,”as Kripke suggests (1980, p.115n.57). There are other motives.