Could I just interject for a minute? My time is short, and I appreciate what you're saying. Could you also address the cost part of that? We were told these costs are prefunded. Cost estimates, as you know, have a way of increasing, and those estimates were in 2015 dollars. Has that all been prefunded, and how? Is that money sitting someplace right now?
On February 3rd, 2022. See this statement in context.