text:  Yes, they are. And by the way, the House has voted now to defund Mayorkas' salary. And that, of course, we'll see what happens. That'll start in the fiscal year of 2025, which begins October 1st. So he'll be, at that point, working without a paycheck. Yeah. And we'll see if he stays. Yes. Or not. I'm sure he's shot because he's here, because he's dedicated to the work.