 If you are just tuning in, we're talking about the first night of the Republican convention, former President Trump's choice of J.D. Vance, senator from Ohio. My recollection is I think we'll have to double check this. I think Ohio's gone Republican the last two elections. And clearly the states you need for for this term, I think the consensus is Michigan, Wisconsin and Pennsylvania.