I own quite a few CDS’s on US default, but they’re called UTXOs and the payouts are denominated in sats