02 Second Order/Closure Conditions/Digress
Digress
Digress names traversal departing from the current scope. Where proceed names continuation within scope, digress names departure — traversal moving outside the current scope while relation remains available. Digress does not name error or failure; it names a readable departure from the current scope.
Trace
Read
Digress becomes recognisable where traversal can be read as departing from the current scope — where participation moves outside the bounded extent without losing relation.