((S(K((S(KS))K)))((S((S(K((S(KS))K)))S))(KK)))