sixes_and_sevens comments on Group rationality diary, 6/​25/​12