Formal Models of Domestic Politics by