Averaging Argument for Existence Workflow Protocol | Averaging Argument for Existence | Mathematics | NEROS