 And you're always wondering, okay, well, who's going to pick which one and what it's going to be like? And in the House, you know, we had several Democrats join with most of the Republicans, and now they formed their own, you know, new thing. Certainly wasn't a Republican thing. It wasn't entirely a Democrat thing either, but it certainly maintained a lot of the Democrats' spending priorities. Democrats came out with, you know,