If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.