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