 As this moment, there's a lot of talk about them still dealing Pete Alonso. I don't know how much truth there is to that. You can get a king's ransom for that guy right now, especially for a team that feels like they're one person away from going to the World Series. He would bring in a whole heck of a lot and reduce a lot of salary, that's for sure. So I don't think they can trade him, though, can they? Listen, you can trade anybody, but...