Within REX it is highly unlikely that we’ll ever be in this scenario but it should be understood. If there aren’t enough EOS tokens in the unlent pool to cover a requested withdrawal, then a “liquidity crunch” occurs. This means that all withdrawal orders will be queued, waiting for either new EOS tokens to enter the REX pool, or for resource loans to expire. There is no risk of a user not getting back their EOS tokens, they may just need to wait up to 30 days (at most) to get them. But to repeat, this is a highly unexpected event.