Generalized quantifier
 
x
OK