Jonathan_Graehl comments on Group rationality diary, 7/ā€‹9/ā€‹12