Reduction Argument Protocol for Structured Analytical Execution | Reduction Argument | Mathematics | NEROS