Those are rookie dollar figures for government waste. My state, alone, out-does that regularly. But if we get hyperbitcoinisation...