Is a retired government servant--a public servant?