gwern comments on Aumann Agreement by Combat