The WDB and CNF