Question - Joe Ryan seems to have a pretty high surplus for someone on the last year of his deal. I know there is a mutual option for 2027, but those are extremely rare to be executed - something like less than 5% are ever executed, and the last one was in 2014 - so does a mutual option weigh the same as a team option for his value, as noted in the "valuing major leaguers" section of the site? If so, that should be revised - I'd argue the models should count a mutual option as becoming an UFA given the rarity of mutual options working out (maybe this is how it is already handled).