added exists and forall to TimeSegment