A quantitative theory of social security without commitment · Study