The deluge of maybe-proofs have the same problem as the Library of Babel.