Yup. I was under the impression that they were going to trigger the clause when it was 20, but Zidane decided against it. But, tha'ts whakt I mean, when he was 20M, he was Real's first choice. At 80, not so much.
We, on the other hand, don't have a lot of options. He was what the club determined to be the best option, then they went out and got him.