Existence by Contradiction Protocol Design | Existence by Contradiction | Mathematics | NEROS