Abstract: For any pair of objects, x and y, if x = y, then the fact that x = y is an identity fact. And conversely. (If x y, then there is no fact that x = y.) Among the facts that obtain in every possible world are all the identity facts. It is argued that the fact that x = y, is such exists, bears a very special relation to the trivial, a priori, fact that x = x: they are one and the same.

Keywords: fact, identity,