is sometimes true." Each of these has its truth-value unchanged if any formally equivalent function is substituted for

. In the language of classes, if

is the class determined by

, "

is always true" is equivalent to "everything is a member of