One of the things I notice is that you're right when you say that municipalities have different priorities. It could be local and high-value jobs, balancing the tax base, economic diversification, resiliency, etc. There's no doubt that it would have to be funnelled up to the federal strategy. We get that.
For my last question, earlier you mentioned $15 billion a year in savings after an investment of $60 billion. Would you have some backup on that?