Local-to-Global Analytical Argument Foundational Protocol | Local-to-Global Analytical Argument | Mathematics | NEROS