Frontiers of Formal Political Theory