We certainly didn't look at the last one. That's going to be a factor that governments will have to work out.
For the first one, almost all of the cost of this, certainly more than three-quarters of it, in my view, is capital cost when you amortize over a reasonable period—30 or 35 years. If you're having to pick up only, say, 20% of the total cost, the number of passengers that you need, the number of fares you need to do that is very substantially reduced—it's reduced by 80%—so it becomes much easier. There are many models that look to covering the operating costs. The California one talks to making “a profit”, with government picking up all the capital costs and the operating authority running at a profit. I think they say $1 billion per year, but I can't remember the precise number. But it's not really a profit. The people of California and probably the U.S. as a whole will have made that huge investment.
I have separated out the capital and operating, and you can see how the operating can work pretty easily.
But your other question about the gas tax is something that needs to be fed in through all the thinking about this.