 to be the Republican vice presidential nominee going into November. Give us your thoughts about that. First of all, was it a secret from everybody? Did you guys kind of know? Or was this news to everybody when he announced it?