add CNF