 How soon do you think you'll be making that choice, number one? Number two, we keep reading that there is a short list, and on the short list we hear names like Senator Rubio, Senator Tim Scott, Senator J.D. Vance, Governor Burgum. Are those reports accurate? Are there other people maybe people aren't paying attention to? And when do you think you'll announce that?