for all universal quantifiers