committed cnf code