My understanding is that he must be waived BEFORE trades can actually happen. I may have the dates wrong, but it's something along the lines of Paul having to be waived by June 27th, and new trades can happen July 1st, or something like that. If they trade him, his $30M is guaranteed. It's still...