More on CNF conversion