EBHS Proofs Wed 7/24 - TableRock