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