There is an option for a sixth year. So Howard gets 5 years at $25 million a year, while Doc got 3 years and $20 million a year. Which of the two do you think is worth more money?