((S ((S (K +) ) (K 1) ) ) I ).



SUC(N) = N + 1.

dumb SKI VERSION:
((S ((S (K +) ) (K 1) ) ) I ).
