 Good morning, my friends. How are you? We're good. So J.D. Vance, introduced to the world, and Republicans, many of them know who he is, but a lot of Republicans even, not a household name yet. What do you think he made first impression-wise for people like that last night?