> I = SK Wrong. I = S K M where M can be anything: I x = S K M x = K x (M x) = x K and S K represent True and False, since K x y = x and S K x y = y. >

> I = SK Wrong. I = S K M where M can be anything: I x = S K M x = K x (M x) = x K and S K represent True and False, since K x y = x and S K x y = y. > essentially an obfuscated mix of S and K Most alternatives are tuples of S and K like λz. z S K or λz. z K S K. But the arguably shortest one is indeed a proper mix: A = λx λy λz. x z (y (λ. z)) = λx λy λz. x z (y (K z))