sixes_and_sevens comments on Group Rationality Diary, May 1-15