Is a proposition that [see page 24, must] be true.
These propositions have a truth table that's always true.