We develop a model where individuals differ in productivity and in longevity. Benefits from the public pay-as-you-go pension system take the form of a collective annuity, with both a contributive (Bismarckian) component (based on the worker's past earnings) and a flat (Beveridgean) part. Voters...