If the Collateral Auction does not raise enough USDA to cover the Vault’s outstanding obligation, the deficit is converted into Protocol debt. Protocol debt is covered by the USDA in the Arkadiko Buffer. If there is not enough USDA in the Buffer, the Protocol triggers a Debt Auction. During a Debt Auction, DIKO is minted by the system (increasing the amount of DIKO in circulation), and then sold to bidders for USDA.