"universal quantifier"@en-us . .