"Must" is still modal, so not a 100% categorical statement. Non-modal statements are often categorical.
Let's say that the speaker is only making a logical deduction out of information about the time they left, the time , now, what he knows about the length of the journey, etc. Why doesn't this...