Individuals, differing in productivity and life expectancy, vote over the size and type of a collective annuity. Its type is represented by the fraction of the contributive (Bismarckian) component (based on the workers past earnings) as opposed to the non- contributive (Beveridgean) part (based...