 This is what's hard about this trade deadline, too, because there aren't many clear-cut sellers at this point. And maybe that changes in a week or so. So it's hard for me to identify who can they land in terms of Houston starting pitching. Who can the Mariners land with bats? I don't know. So if you're saying that, you know what, Jerry and Justin, they must be going through all kinds of pains.