finish proofs