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