government-debt-getting-downgraded-thankfully-bitcoin-backed-only-by-math