This paper analyses a model of overlapping generations in which agents who are not in the labor market are unable to borrow. An increase in a fully funded pension raises aggregate savings since private savings are not crowded out one-for-one. Labor force participation is determined endogenously,...