fix quantifiers