) is not always false, i.e., in more ordinary language, if there is a term

such that

will be a member of

when

is