TRUTH ::= true | false
The atomic formulae true and false are written `true', `false'.
They are always well-sorted, and expand to primitive sentences, such that the sentence for `true' always holds, and the sentence for `false' never holds.
