for all values of
; we then proceed to assert that the resulting function of
is "sometimes true," i.e. that it is true for at least one value of
. (It obviously cannot be true for more than one value of
.) These two conditions together are defined as giving the meaning of "the author of Waverly exists."
We may now define "the term satisfying the function