completed proofs