itaibn0 comments on A Little Puzzle about Termination