Measure-Theoretic Existence Proof Protocol Design | Measure-Theoretic Existence Proof | Mathematics | NEROS