The completeness conjecture for the hierarchy of subatomic domains

Let Figure $1$ be the directed diagram of implications among unique factorization domains, atomic domains, semi-atomic domains, almost atomic domains, quasi-atomic domains, Furstenberg domains, semi-Furstenberg domains, almost Furstenberg domains, quasi-Furstenberg domains, not-antimatter domains, and integral domains. Completeness conjecture. Figure $1$ requires no additional arrows. The paper presents completeness of this diagram as its central goal and says that the goal is mostly achieved, with a few exceptions discussed at the end of the introduction; the supplied excerpt does not determine whether this conjecture has been fully resolved.