How does replacing the tax exclusion for employer-provided health insurance with a tax credit.