as outlined in Lynn Pike’s recent letter. I retired in 1995. With all my leave added up, I had 32 years’ service. We state employees who have retired paid into the retirement system.