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