To program, we will require TRUE and FALSE values
Idea: What we really need are three expressions
IF TRUE FALSE
such that
(IF TRUE x y) => x
(IF FALSE x y) => y
for all x and y
If so, then any expression which reduces to TRUE can be deemed to have a true value
And similarly for FALSE