Viliam_Bur comments on Group rationality diary, 12/​10/​12