Unrestricted (Baseline) Model calculations are as in Table 3. The Restricted Contracts Model calculations are described in Section 6.2. In the Restricted Contracts Model, firms can only offer contracts with constant escalation or declination rates. In the No Savings Model, individuals are assumed to have no access to savings technology. Redistribution and efficiency metrics are described in Eqs. (15) and (14), respectively. ‘MWS’ refers to the Miyazaki (1977), Wilson (1977), Spence (1978) equilibrium. This is the constrained efficient market outcome with the least redistribution. ‘SS’ refers to the constrained efficient market outcome with pooling of risk types. This is the constrained efficient outcome with the highest amount of redistribution that we consider); it loosely corresponds to banning gender-based pricing in a compulsory Social Security setting.