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