“…Computational modelling of capacities can help us to make our assumptions precise and explicit, and to draw out their consequences, without the need to simulate the postulated computations (though simulations have their uses; more on that next). For instance, with formal computationallevel models and mathematical proof techniques at hand, one can critically assess claims of explanatory adequacy Egan, 2017;van Rooij & Baggio, 2021), claims of intractability (Adolfi, Wareham, & van Rooij, 2023), claims of tractability van Rooij, Evans, Muller, Gedge, & Wareham, 2008), claims of competing theories , claims of evolvability (Rich, Blokpoel, de Haan, & van Rooij, 2020;Woensdregt et al, 2021), and claims of approximability (Kwisthout & Van Rooij, 2013;Kwisthout, Wareham, & Van Rooij, 2011). 16 We acknowledge that computational modelling can also contribute to productive theory development without committing to computationalism (Guest & Martin, 2021;Morgan & Morrison, 1999).…”