We model a pay-as-you-go (PAYG) pension system as a series of incomplete intergenerational contracts. Each generation pays a pension to its parents as the price for a premortal transferral of economic property rights. The terms of this intergenerational trade are fixed in a social contract,...