 Most of you in this audience know that, okay, it just got announced, President Trump has officially endorsed and chosen J.D. Vance of Ohio. Full background information will go over in the course of the program.