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