Qiaochu_Yuan comments on A Little Puzzle about Termination