More work on the proofs section.