tests that include existential quantifiers.