Retirement tax questions

This makes a lot of sense to me. Can you confirm though that we should be deducting the amount the employee contributes to IPERS from their income for the year? Similar in function to a 401k plan where you'd reduce income for the amount contributed to the 401k, 403(b), etc.

 

Thanks!