Dies ist natürlich unmöglich.

φx, ψy, χz, fa
~fa, (∃x).f(x), (∃φ) . φa, (∃φ,x) . φx