Invariant

Board Design Proof Findings Reading the board