#universal quantifier #predicate logic #for every #for each