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