  We introduce a new class of commutative rings with unity, namely, the
Containment-Division Rings (CDR-s). We show that this notion has a very
exceptional origin since it was essentially co-discovered with the qualitative
help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides,
we show that in a Noetherian setting, the CDR-s are just another way of
describing Dedekind domains. Simultaneously, we see that for CDR-s, the
Noetherian condition can be replaced by a weaker Divisor Chain Condition.
