adds CNF.create