We can put those two questions together. Thus, in simpler terms, the value of matches: is the answer to the assertion the Traversal reaches a point at which both Intervals become empty simultaneously. Hopefully these points will be the Attractors of the Information Space as implied by matches:.
Attractor