Do both intervals become empty at the same time? And: Can the Traversal reach a point in which at least one of the intervals is empty?
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:.