Review of proofs section