Wouldn’t over index too much there. It only states that the only way to sell is to pay down debt. Not that it must be sold. 20 year lockup.