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