∃ ^ ∃