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