nerzhin comments on Mixed strategy Nash equilibrium