 I'm here with the Red Sox manager. Big win, big sweep down in Miami. I want to start there because I'm curious. Nick Pavetta, going through your mind, two outs in the seventh, he has a no-hitter. How do you balance the individual no-hitter versus needing a win? Are you okay with a guy going 115, 120 pitch count to chase it? What's going through your mind? With him, yes, because he's a workhorse. He's strong, and he felt like...