Definitional Extension Protocol for Structured Analytical Execution | Definitional Extension | Mathematics | NEROS