Group Rationality Diary, July 16-31 — LessWrong