 Mayor of this city. Look, we got a guy who has a tough time winning the election. He only gets 70% of the vote. Congressman Mark Pocan. There's so many local leaders here today, including the chair of the Wisconsin Democratic Party, Ben Wickler. Folks, did you have a good Fourth of July?