The answer we are after is whether the particular Traversal ends at an interesting accumulation point or not.
~
⇒ Unification: As a type of unit, [ ] must have different additive properties than ( ), otherwise the two would be indistinguishable. Round-brackets provide a tally via Accumulation, which explicitly forbids deleting replicated units. In contrast, [ ] dominates rather than accumulates. We can express this as an iconic equation, one that reduces apparent multiplicity to Unity. The Unification axiom defines the Behavior of square-brackets.
ASKOFF, Russell Lincoln. Creating the corporate future: Plan or be planned for. Wiley, 1981, p. 104