See, this is exactly the kind of smartass, snarky thing the GOP should do to the Democrats, and they should have been doing it during their time as majority too, along with, you know, actually reducing the size and power of government. Maybe they're finally learning their lesson. Maybe. We'll see.