 It turns out, as we’ll see, that all that comes apart is the false notion that in FOL\(^=\) the identity symbol defines the relation \(I(A,x,y)\). Let us examine Geach’s line of reasoning in detail, focusing on the presentation in his 1967 article, the locus classicus of the notion of relative identity.