finished proofs