 And so both of these guys, I think, know that this is a problem in the background, and they're sort of just suggesting ways to fix it. I didn't hear from Trump in particular there any sort of serious suggestions about how he's going to try to raise more funds for Social Security. He's suggesting that somehow cutting immigration is going to fix that problem. It's probably not true.