https://www.canajunfinances.com/2006/12/20/if-this-gets-paid-off-any-debt-is-payable/
If the Olympic Stadium gets paid off, any debt is payable!