02 Second Order/Closure Conditions/Proceed
Proceed
Proceed names continuation without interruption. Where process names a carried sequence, proceed names that sequence continuing — moving forward through the current scope without departure or cessation. Proceed does not name progress or direction by itself; it names continuation as available.
Trace
Read
Proceed becomes recognisable where a carried sequence continues without interruption — where participation moves forward through the current scope.