CNFConverter is good