Yes. Thanks, Juan. Yes, thanks, Elyse. Good question. And so retro is predominantly not exclusively January 1. A lot of it covers -- a very solid majority happen at January 1. And so we’ve seen a few that have come up the summer off-cycle and do it at March, April, May, June. And I think -- so we’ve seen increased pricing there. And I think that the alternative capital that I talked about in my prepared remarks, we are seeing and hearing a lot of noise about redemptions and, again, frustrations with the losses and kind of a comparison to other places to deploy the capacity. So I think there is a lot of noise there that we think will continue for a while. And that will have a direct impact on the retro market. In terms of our hedges, we look at a whole suite of hedges and really try to build a holistic program that has different attachment points, different product types, different geographic coverages, different durations of how long they are in place. And as you will recall, we renewed our catastrophe bonds. We have almost $3 billion in catastrophe bonds in place. We renewed them in November, December. The ones that had expired, we bought lower down. And again, in hindsight, we are glad we took the capital that was available to us then, even though it had been a slight increase in rates. And those are multiyear deals, and they will be in place for the next several years. And because the pricing's already locked in, the cost of that capital, the cost of that or the rate change embedded in that on a go-forward basis is 0. We also have Logan, our strategic partner and continue -- Logan is about flat from January to now and continue to use that as a very important hedging mechanism. And the cost of that goes basically, Logan rides up and down with us as they take quota shares of different layers of and build -- we build portfolios for them where they help us hedge. We do buy traditional reinsurance in retro. We will remain pricing sensitive to using that as a form of hedge. And we also buy ILWs, and we've been in the ILW market since January, looking and buying up ILWs as another way for us to hedge.