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