Formalised models are simplified representations of empirical phenomena that help to abstract away essential mechanisms from details and contexts. Although (mathematical or computational) modelling has always had a contested status in the social sciences, the use of formalised models is key to integrate abstract theorisation and inductive empiricism. This is especially true for agent-based modelling (ABM), which is a computational method which allows social scientists to study aggregate patterns as consequences of complex agent interaction. Unlike standard mathematical and statistical models, ABM permits us to consider heterogeneity, autonomy and local interaction, as well as the effect of institutional, structural or spatial environmental ...