Symbol: CNF2