Intuitively, this deck, once it passes that threshold, will not fail. But we cannot prove that! Admittedly, mathematical proofs are not really my wheelhouse, though. But I do know a bit about eigenstates, and a randomized library of Magic cards can be thought of as a bunch of eigenvalues. Uh...