Lindström quantifier
 
x
OK