Proofs and Polygons