work on existential quantifiers