non-overlapping is a really strong precondition, what happens if they overlap?