((λI((λJ((λS((λH((λK((λO
11 ; Your test code here may use these values freely.
)(λf(λx(fx)))) ; 1, bound here to capital letter O.
)(λx(λyx))) ; K (serves as true) here
)(λx(λyy))) ; H (serves as false)
)(λn(λf(λx(f((nf)x)))))) ; S
)(λf(λx(λy(λz((fx)((fz)y))))))) ; J
)(λxx)) ; I