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.