 And it does not do anything to dissuade the rumors out there. So there are people that believe the government actually carried out a hit on Trump. I don't believe that. But it doesn't do much to dissuade from concerns that maybe when deciding where to allocate resources, there was a lower priority that was given to former President Trump.