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