 There's a lot of political mythology taking place here, sometimes with promises that just don't get fulfilled. So you almost have like a circular kind of situation where Republicans taking satisfaction in the travails of the Democrats over President Biden and whether he'll continue to run, whereas the Democrats are taking delight in the Republicans unable to get their agenda on the budget done. And it seems politics overshadows getting things done.