asciilifeform comments on The Aumann’s agreement theorem game (guess 2/​3 of the average)