As a result, the federal government can apply the revenues collected from Social Security payroll taxes, and the income taxes collected on benefits collected from higher-income individuals, to any government liability.

WSJ: Thomas Saving: Obama's Debt-Ceiling Scare Tactics