Can multiple existential quantifiers be dropped like for the universal ones