verify disjoint segments