[math-fun] Quantifiers