Well, their thinking might have something to do with the fact that Buchholz is in the last year of a 5-year contract carrying a modest $6.1 million AAV, with 2016 and 2017 under their control at $13 million team options with tiny buyouts, as opposed to the $120 million we've theorized they could have retained Lester for.