Revising Converter CNF.