Premise: The remaining time is fixed and includes the time between stops (route time and the fixed portion of access) and the fixed portion of travel time.

Hypothesis: The remaining time doesn't count time between stops.
Relation: contradiction