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