streamlined definition of ∃ some more