 The various Democratic presidents we've had are bad people as a general matter, and I don't think, generally speaking, the Republican presidents we've had have been bad people. I think it's an incredibly difficult job that people generally try their best at. The caller brought up Marco Rubio. Who do you think will be on the Republican ticket with Donald Trump, and when do you think that will be announced?