Yes, exactly.
There's a section about remedy, which calls for mediation and arbitration. You need to provide notice of default, and there needs to be a report. It's pretty extensive in terms of the remedies that exist. When you look at that, the uniqueness of this is the interaction between that and the NextStar agreement. The connection between the two is making it robust in terms of protection.