Using an OLG model with skill uncertainty and private savings, we investigate whether an optimally designed set of public pension transfers can usefully supplement a nonlinear labor income tax as a welfare-enhancing policy instrument. We consider a Mirrleesian setting where agents' skills are...