I'd like to think Holiday, who has made over 300M in his career already, would take a discount to stay here similar to Horford. Like others have said, maybe tack on a few extra years to that player option in 2025 and make it something between 3 years, 70-80M (23-27M AAV range all together). Would be good for all parties IMO especially if Holiday loves it here + wants to contend for a handful of years to come.