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