 Yes, absolutely, 100%. I would sell Jackson Holiday for two pitchers and possibly a shortstop. Not kidding. I love Jackson Holiday. I think he's great. I think he came up through our farming system. He's young. He's got a lot ahead of him. However, we're chasing a series now.