02 Second Order/Closure Conditions/Change
Change
Change names a readable difference across traversal. Where traversal lets a read be followed through a closure scope and difference names readable non-sameness, change names non-sameness becoming readable between one condition and another through traversal.
Trace
Read
Change becomes recognisable where a condition can be followed from one readable state to another without losing the path between them.