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