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