EBHS Proofs Wed 10/16 - TableRock