Rectangles and Proofs