  The delooping level conjecture holds for all Artin algebras if and only if,
for all Artin algebras, the delooping level of an algebra being finite implies
that the delooping level of its opposite algebra is also finite.
