yet more streamlined definition of ∃
yet more streamlined definition of ∃
most streamlined ∃ yet