Take a simplified system: two players, both with $10. Flip a coin. Let’s say one comes up heads, the other tails. Total is now $15 + $6 = $21. A $1 increase for

Take a simplified system: two players, both with $10. Flip a coin. Let’s say one comes up heads, the other tails. Total is now $15 + $6 = $21. A $1 increase for the whole system. I agree the distinction is not at all between individual and collective, but rather between one-off and repeated games.