Updated proofs for Volume 5