No, I don't like the name because I don't think what you are calling here a MixedStrategy is actually a mixed strategy. We can discuss offline if you want.