Vladimir_Nesov comments on Group Rationality Diary, July 16-31