Counting Argument Protocol for Structured Analytical Execution | Counting Argument | Mathematics | NEROS