 So if they're paying taxes into Social Security, they're actually helping the solvency in the short term. Over the long term, when they become eligible to collect, the math doesn't look so good anymore, but it is a short-term cash inflow. So if they're paying in, they have to qualify after 10 years, like every other person working in the United States, and that's a short-term influx of money that can help shore up the trust fund, at least over the short term.