Viliam_Bur comments on Group rationality diary, 6/​25/​12