Exhaustion Protocol for Structured Analytical Execution | Exhaustion | Mathematics | NEROS