This week, as part of my "Theory and Beer" meeting with doctoral students, we considered Michael Gilligan's thought-provoking formal theory article on the International Criminal Court, published two years ago in International Organization.Gilligan uses a formal model to "test" whether the International Criminal Court can be an effective judicial institution given that it has no police arm and, as is so clear with respect to Darfur, cannot force...