Smart motorways, Highways England and logic.