Variational Existence Proof Protocol Design | Variational Existence Proof | Mathematics | NEROS