fix direct CNF