logical quantifier - Word Not Found