fixes toCNF