Qiaochu_Yuan comments on [SEQ RERUN] A Sense That More Is Possible