," and "

is sometimes true" is equivalent to "

has members" or (better) "

has at least one member." Take, again, the condition, dealt with in the preceding chapter, for the existence of "the term satisfying

." The condition is that there is a term