Gross. I want nothing to do with 2 of those pitchers in our rotation to start the year. 1 is good, but we need a rotation upgrade. Are any of them likely to be any better than JT in 2020? Going from DK and JT to two of Newk/Wright/Wilson/Touki is in all likelihood a huge downgrade.