sixes_and_sevens comments on Group rationality diary, 12/​10/​12