The second of these can be defined by means of the first, if we take it to mean, `It is not true that ``C(x) is false'' is always true'. [BR]