We provide regular costs to the government. What they add onto those—what is additional to those to provide the estimates they formally provide—is in the order of $60 billion, which they have provided publicly. Our number is below that number, and the difference is reasonable enough to believe that it is a credible number. I don't know enough of those costs to be able to say that it's the right number.
On May 10th, 2022. See this statement in context.