WAG 14-06-04: Required Proofs