Iterated Dominance Execution Protocol | Iterated Dominance | Mathematics | NEROS