True=\x y.x
False=\x y.y
And=\a b.a b False
If=\x.x
PrintBool=\x.If x TRUE FALSE