 No, I agree. I mean, I think it's a no-brainer. And because his numbers, look, he has been, there's no doubt, the best pitcher in baseball since he made his debut. So it's not like it's this, hey, let's throw this guy out there with a .370 ERA, but he's super popular. Let's get it done. No, he has been absolutely dominant. He is coming off of seven innings of no-hit baseball. Why'd they take him out? So I'm very actually somewhat passionate about this in that, like, it's 2024. I think we should probably get used to this by now.