~(∃ϕ):(Ex)ϕx


(∃x)ϕx∙~ (∃xy)ϕx∙ϕy


     ϕxε1

     ϕxε5