Jonathan_Graehl comments on Group rationality diary, 7/​9/​12