Qiaochu_Yuan comments on Kenshō