If the Democrats ever occupy the White House again, I hope they take full advantage of that decision. But of course they won't.