And the way I read this.... When Twitter goes bankrupt (and it will), the banks, as creditors, will have bought it for $13b, a $31b discount on what Musk and his foolish friends and fellow shareholders paid for it. $13b is about the right price...or was.
WaPo headline: Here’s who helped Elon Musk buy Twitter
https://www.washingtonpost.com/technology/2022/12/24/elon-musk-twitter-funders/