Mitchell_Porter comments on Group rationality diary, 9/​3/​12