I'm not sure I would keep either guy at their current prices for next year, TBH, but McKenzie's average price is still over $12 and his ownership at 93% so a lot of people are still very into him. Just wanted to see how you felt about him at $10 since we're both looking at '24 and beyond.