(p) : p = aRx.xRy … zRb

(p) : p = aRx

F (x̂(φx) . = . φ ≡ ψ ⊃ψ

Φ≡ψ .⊃ψ. [F (x̂ (ψx)) = ψ ≡ x ⊃xFx] =

= [F(X̂(ψx)) = t ε ẑ (Φz) ≡t xtx Fx]