6.9.14.

Φ(λ) .:≝:. PHI;[ẑ{z ≠ z}] .:≝:. φ(x) . ≡ x. x ≠ x ∶ ⊃ ∶Φ(φ)