Functional-Analytic Existence Proof Protocol Design | Functional-Analytic Existence Proof | Mathematics | NEROS