Viliam_Bur comments on Group rationality diary, 5/​14/​12