If a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is coincident with the beginning of T2.