Qiaochu_Yuan comments on Rationality when it’s somewhat hard