Notional needs accounts to cover the debts that they owe in order for accounts with positive cToken balances to be able to freely withdraw their cTokens. The protocol can enforce accounts to collateralize their negative cToken balances, but it can't force an account to settle their negative cToken balances.