Introduction to the Special Issue on "Formalization as a tool for empirical research: what it buys us and what it doesn't.”