 So we got that trim back, put a billion and a half back into the reserve, which it needs to be more, I agree. And then cut a billion off of the pork that the Senate wanted. And the only reason we were able to do that was with the threat of a special session. And so many of those guys in charge of the budget were running for higher office. They don't want to be in Jeff.