Data types used for programming are always assumed to extend the Boolean data type.
Boolean expressions are simply terms of type IB. Boolean expressions are used in programs
to determine the flow of control. Predicate logic expressions extend Boolean expressions by
allowing quantifiers 
and 
, that is:
