Social Security coverage of employees of IMRF employers is discussed in Section 9, Social Security appendix.
Section 9 also includes information on federal income tax withholding and reporting.