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