Vladimir_Nesov comments on Group rationality diary, 7/​23/​12