Proof Is in the Billions