finish the proofs