[HPsquared]

Not what was said. What was said: if you DON'T take the Nth step, you then WON'T take the N+1 step.

"Not A -> Not B" is different logic than "A -> B". A is necessary but not sufficient for B.