 We've also built up a rainy day fund. We've now got $3 billion in it. That's the highest dividend in history. And we've paid down $8 billion of our pension debt in just the last six years. So all in all, the state of our fiscal health is strong, but we've got a lot of work left to do after many, many years of unfortunately just not being in the best fiscal shape.