CNF should be working now.