(quantifier meaning: a function within its scope is true)