 Before Kripke’s writings (1972 [1980]), it seemed a platitude that statements of identity could be contingent – when they contained two terms differing in sense but identical in reference and so were not analytic. Kripke challenged this platitude, though, of course, he did not reject the possibility of contingent statements of identity. But he argued that when the terms flanking the sign of identity were what he called rigid designators, an identity statement, if true at all, had to be necessarily true, but need not be knowable a priori, as an analytic truth would be. Connectedly, Kripke argued that identity and distinctness were themselves necessary relations: if an object is identical with itself it is necessarily so, and if it is distinct from another it is necessarily so.