Richard_Kennaway comments on Group rationality diary, 12/​25/​12