Diagrammatic Argument Verification and Reporting Protocol | Diagrammatic Argument | Mathematics | NEROS