EBHS Proofs Sat 9/7 - TableRock