Existence by Contradiction Workflow Protocol | Existence by Contradiction | Mathematics | NEROS