A data type with exactly two values: `True` and `False`. Named after George Boole. Pascal's `Boolean` type is an ordinal type where `Ord(False) = 0` and `Ord(True) = 1`. (Ch. 3)