I don't think anyone's crying over Hill, but I think we do need another starting pitcher for 2023, regardless of whether they're part of the core group going forward.
I would say this is one of the rare occasions where at least 90% of us are in agreement. We need Kluber or Eovaldi or Greinke or a trade. Bloom basically promised a starting pitcher. He laid it on pretty thick, actually, with the "leadership, upside and innings" stuff.