Retirement tax questions

Texas schools apparently offer two different plans-- a 403 (b) and a 457. You would have to ask your school which you have if you have a need to know.