That’s what they mean by increase tax receipts.
tax receipts is what comes out of paychecks. Payroll tax.
Premiums is what is deducted from the SS checks of retirees (96$). Not considered a tax, but a premium payment.