-DNDBM implies -DDBM