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