Sure. Well, step one, first and foremost, maximize our earnings and the drop-through to cash conversion, right? So -- but when you get past that, what are we going to do with the cash? Well, we think in terms of, we know we're going to delever in the normal course because of the ramp that's already happening in our profitability, right? From a net debt ratio standpoint, we took our net debt-to-EBITDA ratio down 130 basis points in just the last quarter. That is going to continue to drive down that metric. So we have that benefit. Then when you talk about the maturity profile, you're right, our Treasury team did a phenomenal job with this refinancing, pushing maturities out and really solidifying a pretty strong maturity schedule. The nearest term maturities we have 2 are from -- 2 maturities that are in the more near term our convertible debt, right? So the likelihood of both of those converting is very, very high. The nearest term on that is about $84 million, and that hits us in 2022. And again, we expect it will convert. If for some reason, it didn't convert, we're in a healthy financial position to deal with it. But believe me, I'm expecting it's going to convert. And beyond that, other actions to take, what we would love to do is not just rely on the net debt ratio. It's great to just work it down because we're more profitable. But we've got $1.6 billion of debt. We want to pay it off. So we'll, over time, attack these maturities with cash and pay those down at the appropriate times. Of course, you also need to make sure that you're not launching your growth opportunities by over-allocating to reduce your debt position. So we'll be balanced in that. Then as far as other delevering, the pension, I mean, we've already said we're on a glide path. I shared, as you had mentioned, what we're going to do around contributions. We think that we're on a very natural plan to see that delevering happen without any extraordinary efforts on our part. Maybe another -- just a question -- answering a question you didn't necessarily ask yet. But as we think about our leverage levels, I'd like to see our balance sheet levered at below 2x net debt. And we are definitely on that glide path to work down there over not too far distant future, just with what's happening in our business in the normal course.