Four year contract for Casemiro with the option for the extra year, is that right?

Fucking bonkers.