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