Predicate functions return these as values, and the logical connectives expect to receive them as arguments.
i1 : 3 == 4 o1 = false
Boolean constants:
Functions dealing with truth values.