Even though it is important to consider situations in which a player’s pure strategy is strictly/weakly dominated by a mixed strategy, we do not extend the above definitions to probabilities over the opponents’ strategies. That is, we do not replace the above definition with