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