Proofs Wed 9/3 - TableRock