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