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