Joe ran all the way. It wasn’t necessary. Joe ... have run all the way.

• needn't
• mustn't
• won't