Viliam_Bur comments on Group rationality diary, 8/​20/​12