Donald Trump’s election upset will likely shrink what was once poised to be a protracted post-election, lame-duck session of Congress, and that’s just fine with Democrats and Republicans.

Congressional Democrats, faced with a White House power shift and their own failure to recapture the House or Senate majorities, are feeling deflated and essentially sidelined in the fight over how to fund the remainder of the fiscal year. Democrats have also abandoned their push for Republicans to take up President Obama’s Supreme Court nominee, Merrick Garland, now that the White House will by occupied by a Republican in January.