Join our community
Showing more like

Can multiple existential quantifiers be dropped like for the universal ones