sixes_and_sevens comments on Group Rationality Diary, July 1-15

[sixes_and_sevens]

I am convinced of the term being sufficiently confusing to warrant changing. Alternative suggestions would be welcome.