Local-to-Global Geometric Argument Verification and Reporting Protocol | Local-to-Global Geometric Argument | Mathematics | NEROS