Qiaochu_Yuan comments on Mixed Reference: The Great Reductionist Project