We're talking about federal agencies.
> And it still results in devaluation of the dollar.
We could probably use more inflation, to be honest.