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