 To help us formalize the Equinumerosity Lemma, let \(F^{-x}\) abbreviate the concept \([\lambda z \, Fz \amp z\neq x]\) and let \(G^{-y}\) abbreviate the concept \( [\lambda z \, Gz \amp z \neq y]\). Then we have: