for which

is true, and

is those for which

is true. (As we shall see in a later chapter, all classes are derived in this way from propositional functions.) Then:

"All

is