φx . ψy = xφψy = xRy

Fx.Fy.xRy = F(xRy)

F(xRy) = Fx.Fy.φx.ψy

~(∃x).φx       ψz ≡ z φz . ⊃ ψ. ~(∃x) ψx