, always true.

The statement that a function

is always true is the negation of the statement that not-

is sometimes true, and the statement that

is sometimes true is the negation of the statement that not-