The replacement of the equivalence xEy by the identity x = y discussed by Frege (Sect. 6.5 ) allows for an interpretation, which differs from Frege’s. Namely, equivalence E can be understood as an invertible transformation (rather than relation), which turns x into y and vice versa; then the identity = becomes the identity through this transformation.