It may seem, then, that RI is simply incoherent. These arguments, however, are a bit too quick. On analysis, they show only that the following three conditions form an inconsistent triad: (1) RI is true (for some fixed predicates \(F\) and \(G)\). (2) Identity relations are equivalence relations. (3) The relation x and y are the same F figuring in (1) satisfies LL. For suppose that the relation x and y are the same G, figuring in (1), is reflexive and that \(x\) is a \(G\). Then \(x\) is the sam