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

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

The algorithm is provably correct under the given assumptions.

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

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