Yeah, I said the same thing around the trade deadline. Like, yeah, he's not earning as much as he could in arb these last couple of years of his control, but that's not a lot anyway. He will be a free agent probably a year or 2 earlier than he would have been had they actually made him a starter in the minors first. Assuming he is mostly healthy and great over the next two years, he is in a position where he can sign a long term deal when he is a free agent with an opt-out or two.