Proving Segment Relationships