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