[deleted] comments on A Little Puzzle about Termination