Qiaochu_Yuan comments on Group Rationality Diary, July 1-15