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