karp-cc-neg