Thank you for that.
The second number has to do with $438 million going into operating. It's a payment in lieu of severance. Can you advise the committee how many people in the military will be opting into this program and what this means in terms of retirement of actual soldiers, sailors, and airmen?