There is language allowing DVC to sell it, for example, if Hyatt wanted to buy it for their timeshare program.
Vero also has an out for DVC to abandon it in its POS, I believe it’s on a 3 year cycle. I don’t recall ever seeing that in another resorts POS. What would happen in that scenario is...