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