 Okay, so I'm not sure they necessarily pulled it out. They pulled everything out and only put back in what they needed to put in. Okay, so back to where we stand. We now have J.D. Vance there, and I firmly believe that the Republican Party is going to