Teaching Formal Theory in International Relations (essay in H-Diplo forum, 2023)