Nimmo and Diaz are the most important guys for me to get back for 2023. Everyone else, even deGrom, well, if they come back, great, and if they don't, good luck to them in their next stops. I would think that the Mets do pick up Carrasco's option, given the likelihood that some combination of Walker, deGrom and Bassitt may not be back next year.