Lindström_quantifier