Forward progress is the only process