More CNF progress