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