We prove that the Weihrauch degree of the problem of finding a bad sequence in a non-well quasi order ($\mathsf{BS}$) is strictly above that of finding a descending sequence in an ill-founded linear order ($\mathsf{DS}$). This corrects our mistaken claim in arXiv:2010.03840, which stated that they are Weihrauch equivalent. We prove that K\"onig's lemma $\mathsf{KL}$ is not Weihrauch reducible to $\mathsf{DS}$ either, resolving the main open question raised in arXiv:2010.03840.

翻译：我们证明了在非良拟序中寻找坏序列问题（$\mathsf{BS}$）的Weihrauch度严格高于在非良基线性序中寻找降链问题（$\mathsf{DS}$）的Weihrauch度。这纠正了arXiv:2010.03840中关于二者Weihrauch等价的错误声称。我们还证明了König引理（$\mathsf{KL}$）不能通过Weihrauch归约到$\mathsf{DS}$，从而解决了arXiv:2010.03840提出的主要开放问题。