Existence by Contradiction Execution Protocol | Existence by Contradiction | Mathematics | NEROS