I just want to get to the lapsed funding. I think it's $1.7 billion. Again, this may sound like a broken record, but this came up in our estimates last time about the infrastructure, the lapsed funding. PBO says it was $1.7 billion. Is that lapsed and re-profiled or lapsed and gone back?
On November 9th, 2017. See this statement in context.