Inductive Construction Protocol for Structured Analytical Execution | Inductive Construction | Mathematics | NEROS