S x y z = x z (y z);;
K x y = x;;
I x = x;;