No, he does. His contract is god-awful for trading because it was so backloaded. Counting this year, he's owed $106 million for 4 years. He wouldn't get close to that on the open market at age 32 - which he will be in July - especially not coming off a 4.66 ERA. That's the definition of negative value. And the longer you wait the worse it gets in AAV terms because the last year is $35 million.
wait - His AAV stays constant - $23.333MM the length of his contract. Contract ends in 2024. You are about right in what he's owed in actual cash.