Make it so that the proofs are not reusable.