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