We use a calibrated overlapping generations model economy to quantify the consequences of the demographic and the educational transitions for the viability of the Spanish public pension system. The households in our model economy differ in their education and in the random market value of their...