Qiaochu_Yuan comments on Where Recursive Justification Hits Bottom