²³Introducing social insurance in the model without stakes raises no conceptual problems, but does not yield a closed-form solution.