 I published a lot of his answers about the Marine Corps. I put them over at the Washington Post. Go and read them. I think it's going to resonate with everyone who's put on the uniform that we're going to have a veteran back inside the White House for the first time. Well, I'm not really sure when we had George W. Bush was a veteran. And before that, I don't know. But George W. Bush did not deploy to a war zone. He flew. It's a dangerous business. He's a fighter pilot.