Lol that the GAO does anything at all. If it did, there wouldn't be a deficit.