There definitely was. My comment was more a tongue-in-cheek ribbing of the Stearns haters. I personally still really like Urias's upside, and am pulling for him. Grisham's productivity is certainly giving the early returns to the Stearns haters, though, unfortunately. It does finally look like the Brewers may get something out of Lauer, though, as well. I don't think you could find a bigger Stearns fan than me from his hiring until the '19 season. I have never considered myself a Stearns hater. However, if you really look at every individual move since the end of '19 (I think too often people really on the narrative that we made the playoffs more lately so he must be doing great), it's been whiff after whiff after whiff. There's a couple good moves in there. Feyereisen. Wong looks fine so far. But if you really dive into the moves the last 18 months, it's been a brutal stretch for Stearns and Arnold.