Separation Argument for Existence Protocol Design | Separation Argument for Existence | Mathematics | NEROS