Join our community
Can multiple existential quantifiers be dropped like for the universal ones