During price downswings, the value of crypto stored in the vault might become insufficient to fully collateralize the corresponding amount of DAI. In that case, the Maker Protocol automatically initiates the liquidation of the vault’s contents, the proceeds of which it uses to cover that vault’s obligations. If the amount of DAI generated during the liquidation is not enough, the Maker Protocol mints new MKR tokens to sell and cover the remaining sum, thereby increasing the total supply.