Removed cnf