17.S953 Formal Approaches to Political Institutions