logical equivalence quantifiers