Something about reaching the goal in an infinite number of steps