Qiaochu_Yuan comments on Does Thinking Hard Hurt Your Brain?