is rich," for example, is to say that the following propositional function of

: "

is rich, and '

begat

' is always equivalent to '