Existence via Completion Protocol Design | Existence via Completion | Mathematics | NEROS