Stuart_Armstrong comments on A Little Puzzle about Termination