Qiaochu_Yuan comments on Group rationality diary, 1/​9/​13