Barry_Cotter comments on Group Rationality Diary, August 1-15