more cnf progress