(S(K(S(K((S(KS))K)))))