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