Dorikka comments on Group rationality diary, 5/​28/​12