The problem of cooperation and social order is one of the core issues in the social sciences. The key question is how humans, groups, institutions, and countries can avoid or overcome the collective good dilemmas that could lead to a Hobbesian "war of all against all". Using the general set of social dilemmas as a paradigmatic example, rigorous formal analysis can stimulate scientific progress …