ABSTRACT
Two cells overlap if their intersection has interior points, that is, if their intersection is a cell. Two cells which do not overlap are either disjoint or abutting. Two cells a b u t if they intersect in a single point; the right endpoint of one cell is the left endpoint of the other.
