Is there anybody who combines political theory with formal theory?