02 Second Order/Closure Conditions/Progress
Progress
Progress names continuation evaluated as advancement. Where proceed names continuation, progress names that continuation assessed as moving toward the evaluated condition rather than away from it. Progress does not name improvement in a moral sense; it names evaluated movement toward a readable condition.
Trace
Read
Progress becomes recognisable where continuation can be read as advancing toward the evaluated condition — where what is proceeding is assessed as moving in the right direction within the current scope.