 So Politico does report that even if Menendez is kicked out and again, his term does end this cycle. So he would be done in January of 2025, the election in November. So it's not that long. But Governor Murphy, who is a Democrat, obviously, New Jersey, would appoint a replacement.