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