Updated cnf