Perhaps some of you would be covered by your public plan if you were eligible, but otherwise, if you're talking just about what federal employees receive, this is that $645 million that we're talking about on page 2.
On October 17th, 2017. See this statement in context.