02 Second Order/Closure Conditions/Return
Return
Return names traversal re-entering a previously held scope. Where digress names departure, return names reconnection — traversal coming back to a scope that was previously available. Return does not name repetition or reversal; it names the re-entry of a prior scope while carrying what was available through the departure.
Trace
Read
Return becomes recognisable where traversal can be read as re-entering a previously held scope — where participation reconnects with a condition that was available before the departure.