 Mathematically, we're in that ballpark. So Julio Rodriguez has had a poor start to the season, but some of their other complementary players, Dylan Moore among them, have actually been pretty good. Dominic Canzone, when healthy, has been pretty good. So it's been a very confusing lineup. I think the premise of your question, though, is very fair, and I would answer it in one of two ways.