Proofs finalised and updated.