We're going to build a wall and Mexico is going to pay. And the reason they're going to pay and the way they're going to pay, Bob, is this. We have a trade deficit now with Mexico of $58 billion a year. The wall is going to cost $10 billion a year. That's what it's going to cost. It's going to be a powerful wall. It's going to cost $10 billion.