Qiaochu_Yuan comments on The First Fundamental