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