Completeness-Based Existence Protocol Design | Completeness-Based Existence | Mathematics | NEROS