Reference: FORALL

∀(S, var, expr) returns true if every element in the set S satisfies the boolean-valued expression expr in the variable var.

Example: S ≔ [1, 100]
         ∀(S, "n", "isPerfect(n)") = false