EBHS Proofs Fri 7/26 - TableRock