booleans: THEORY
BEGIN
boolean: NONEMPTY_TYPE
bool:NONEMPTY_TYPE = boolean
FALSE, TRUE: bool
NOT: [bool -> bool]
AND, &, OR, IMPLIES, =>, WHEN, IFF, <=>
: [bool, bool -> bool]
END booleans