No maam. We didn't take money out. This is money that's withheld from each of his paychecks that will eventually be his retirement when he retires. It's a state retirement fund. Texas Municipal Retirement System. So through this, city employees don't pay into social security or pay social security tax.
