existential quantification