Exact Sequence Argument Foundational Protocol | Exact Sequence Argument | Mathematics | NEROS