Group Rationality Diary, July 1-15 — LessWrong