Termination Proof Protocol for Structured Analytical Execution | Termination Proof | Mathematics | NEROS