mare-of-night comments on Group Rationality Diary, July 16-31