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