The $25 billion number that we used was the amount of the two budget amounts that were approved, $9 billion and $16 billion. So we used that on the basis that those were amounts that were actually approved, rather than using a number of our own estimate.
On April 26th, 2012. See this statement in context.