 No, it's a good question. I don't know all of the details surrounding it. But look, there are essentially two buckets of charges that Bob Menendez was charged with. He faced 16 counts in total, but there were the bribery and corruption-related charges, and then there were the charges related to acting as an agent for a foreign government.