" after a finite number of steps" ?