cnf generated