21.8.14.
     φ(x)       (x).φx (∃x).φx
     φ(p)       φ((ζ) ψζ)