Proof by Cases Protocol for Structured Analytical Execution | Proof by Cases | Mathematics | NEROS