IL { K | C LKC KCC