# boolean
false = \ t f . f
true = \ t f . t
and = \ a b . a b a
or = \ a b . a a b
not = \ a . a false true