What is the rule on when forward progress is stopped