quantifier

not defined yet