Sort of, I believe they count anything they put in their burn address towards the 'overcollateralization' - but my point is also that redemptions are turned off. No matter how much collateral they have there's no mechanism to turn 1USDD into 1USD worth of any collateral at all. Conducting open market operations (buying up USDD in the market) is significantly cheaper than redeeming them. Last I checked it would cost about $30M to restore the peg in open market operations.