Release the proofs