Using a categorical formalization of formal conceptual blending in terms of colimits of many-sorted first-order theories (concepts), we show how to co-discover the notions of containment-division (CDR-s) and Goldbach rings. In other words, we show that these notions have a very exceptional origin, because they were 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. Finally, we show how to generate the notion of Goldbach rings with the additional help of the cognitive mechanism of weakening of hypothesis and having as initial starting point the (classic) Goldbach’s conjecture.

Dedekind domains, chain conditions, containment, divisor, Goldbach’s conjecture, weakening of hypothesis.