Email Record: Mathematical reasoning with diagrams :