July 31st: Proofs