EBHS Proofs Fri 10/18 - TableRock