POLSCI 730: Formal Modeling in Political Science (C-E)