Matt_Simpson comments on Group rationality diary, 10/​1/​12