Obviously you would try to saturate such tax revenues at the actual cost of road maintenance, so you wouldn’t actually collect $4000/truck mile, but yes, that’s

Obviously you would try to saturate such tax revenues at the actual cost of road maintenance, so you wouldn’t actually collect $4000/truck mile, but yes, that’s the approximate ratio the taxes should be relative to each other.