 possibly pitch a little bit more, but I don't expect to see him this year in that way. There was something that Buehler said the other day that Shohei Otani is the best player in the world, so why shouldn't he be the highest-paid player? And when he's pitching, that's why we pay him double.