So it gives a total of $25 billion, if my arithmetic is correct.
So that was in 2008-09. Not that long ago, the PBO, Kevin Page, actually came up with a number of $29 billion, and the government responded that the number was wrong and that it was $15 billion.
In your experience, sir, would the government have known that it was actually $25 billion since they passed their own budget?