the variable name `cnf` confused me