 Probably going to be the same thing, right? When you get these spending bills, you get a Senate version, you get a House version. No doubt the Senate version is not going to strip his salary. So then when you have disparities between the two, the two sides have to get together and come to an agreement. The Senate side is never going to allow any sort of penalty or punishment for Alejandro Mayorkas.