 It will be in the works. It will not happen instantaneously. I mean, there's no real reason it has to happen in July. The convention is mid-August, so there's time. But they've also got to figure out, of course, the delegates issue, how you do that, how you release the delegates, what are the terms, what about the money that has been raised by the campaign itself. Exactly.