 As for complaint (ii): one reason to adopt the view of CA as models of a fundamentally discrete world is the desire for a transparent ontology. Take a materialist philosopher for whom the task of physics is to provide an ultimate description of reality on the basis of a handful of basic physical properties and relations. As argued in Beraldo-de-Araújo &amp; Baravalle forthcoming, a digital ontology may take different models of computation at its foundation: by analyzing the ontological commitments of CA (vs. traditional Turing machines), they conclude that CA are very close to supporting a traditional form of physicalism. In this perspective, a CA-based physics may provide a neat and elegant ontological picture: one that would be describable in a first-order formal theory including the axioms of standard  mereology (see entry)  (even of mereotopology, as presented, e.g., in Casati, Varzi 1999), and whose theorems would be computable in finite time (see Berto, Rossi, Tagliabue 2010: 73–87). Besides, CA make easier to reconcile prima facie contradictory properties of different physical laws, such as the reversibility of micro-laws and the irreversibility of the Second Law of Thermodynamics (see for example Wolfram 2002: 441–457; Berto, Rossi, Tagliabue 2010: 43–46). There is no agreement on whether the Second Law gives us a fundamental feature of physical reality, or it is a spin-off of underlying principles which are time-reversal invariant and act on an initial state of the universe at low entropy (see Albert 2000). If the world is discrete and temporal reversibility is fundamental, reversible CA like, e.g., that of Berto, Rossi, Tagliabue (2016) may be more than mere computational tools achieving some degree of computational efficiency via their reversibility. 