Text this: FORMAL MODELS AND ALGORITHMS IN POLITICAL SCIENCE: GAME-THEORETIC APPROACH