“I calculated the backstop value, and it was something like fifty cents on the dollar, while the actual debt was trading at twenty-five cents,” Musk said.”