Actually, most citizens know that those retirement plans you speak of were eliminated back during the Murky days for most public employees. But just in case they didn't you've brought the reminder to their attention.