Retirement tax questions

In my experience, contributions to PSERS are neither voluntary nor after tax. Other respondents' answers therefore seem to rule these out as contributions to a qualified plan for Retirement Savings Contribution Credit purposes. Moderators, correct me if I'm wrong. Thank you.