Vladimir_Nesov comments on Group rationality diary, 8/​6/​12