J. Ketland, “Computation and Indispensability”, LLP, vol. 30, no. 1, pp. 61–78, Jun. 2020.