formal theory (political science)