(p) : p = aRx.xRy … zRb

(p) : p = aRx

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

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

[F(x̂(ψx)) = t ε ẑ (Φz) ≡ t χt ⊃ χ Fχ]