Driving is net subsidized, even before pricing in these externalities.