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