Barry_Cotter comments on Group Rationality Diary, May 16-31