Although many assumptions were speculative, the main claim was provable under the given axioms.

Before the journal published the article, reviewers questioned the provableness of the new lemma.

Researchers debated the provability of the conjecture before attempting to formalize the proof.

The algorithm is provably correct under the given assumptions.

The provabilities calculated for each conjecture influenced which proofs the team pursued.