Strong Induction Protocol for Structured Analytical Execution | Strong Induction | Mathematics | NEROS