I just look at Wacha’s Ref card and he has what is probably the most complicated set of options I have ever seen.
There was a $16MM team option and a $6.5MM player option for 2024, and since the team declined their option, Wacha can still exercise his option. If the team exercised their 2024 option, there would be another $16MM team option and $6MM player option for 2025, but since the team option was declined for 2024, if Wacha exercises his 2024 player option, he has the player option for 2025. But if the team then exercised its 2025 option after Wacha exercises his 2024 player option, then Wacha would lose his 2026 player option for $6 million. But if Wacha exercises his player options for both 2024 and 2025, then he would have a 2026 player option for $6 million at his disposal.
Got all that?