Viliam_Bur comments on Group rationality diary, 9/​17/​12