[deleted] comments on A Little Puzzle about Termination

[[deleted]]

Fair point; I overlooked that aspect. In any case, I’ve removed the (redundant) sentence altogether.