designing social security. It provides fundamental results for pay-as-you-go social