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