In this note I revive a lingering (albeit dormant) account of rigid designation from the pages of Mind with the aim of laying it to rest. Why let a sleeping dog lie when you can put it down? André Gallois (1986) has proposed an account of rigid designators that allegedly squares with Saul Kripke’s (1980) characterisation of them as terms which designate the same object in all possible worlds, but on which, contra Kripke, identity sentences involving rigid designators may be (...) merely contingently true. This suits Gallois, as he finds the notion of contingent identity coherent. Thus, the thrust of Gallois’ thesis is that his account of rigidity is preferable to Kripke’s because his accommodates a coherent metaphysical viewpoint, whereas Kripke’s doesn’t. Gallois has thwarted one unconvincing challenge (see Carter 1987; Gallois 1988) and his account, as yet, remains untainted. But not for long, I hope.1 Let us assume, for the sake of argument, that the notion of contingent identity is coherent, that, in other words, it makes—or can make—sense to say that certain (possible) objects are identical in one world but distinct in another. What I shall argue here is that Gallois’ account of rigidity would prevent us from expressing the contingent nonidentity of objects; if so, this is a significant failing of the account, for, as it will emerge, clearly Gallois is committed to the contingency of non-identity. (shrink)