Existence via Closure Protocol Design | Existence via Closure | Mathematics | NEROS