timtyler comments on Mixed strategy Nash equilibrium