We model the emergence of formal insurance institutions as equilibria under limited contract enforceability where groups are required to be coalition-proof but also can use fines for enforcement. The model can generate coexistence of formal and informal groups without requiring heterogeneity in...