 That's normal, right? Right. The $25.5 million signing bonus was up front. So that's something that you can negotiate, including the fifth-year option. That's something that teams need to agree on with players, even though it's kind of a foregone conclusion. And teams usually kind of operate under a strong precedent. So if this...