GB 1887 Proofs