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