Counting-Based Existence Argument Workflow Protocol | Counting-Based Existence Argument | Mathematics | NEROS