{cnf}