logical quantifier
logical quantifier