Thanks for the story. The clear implication is that "efficiency" is
going to result in lower gas taxes. Seems to me that would be contered
by the fact that people are driving more. I have trouble seeing
efficiency as a bad thing and can't believe there aren't other ways to
tax that would not punish it, even marginally.

I have the feeling that the per mile tax is more about trying to
control congestion than it is about dwindling gas tax revenues.