Could we assume, then, that there was a billion-dollar adjustment for the discount rates, but that, adding this in, if that money had been spent, we would have been looking at a $28-billion deficit for last year?
On October 31st, 2018. See this statement in context.