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