Qiaochu_Yuan comments on Explicit and tacit rationality