paulfchristiano comments on Mixed strategy Nash equilibrium