CNF and DNT.