Khun_K doesn't have any sets.