The first task to do seems rather straightforward: take any of the proposals presented here and elaborate them into a full-fledged geometry. Then it will be possible to make a comparison with, e.g., Hilbert’s axiomatisation that was mentioned. The second task seems rather forbidding: using this discrete geometry, show how to do physics. In general terms, this is indeed a huge undertaking, but there are two possible routes to follow. The first route is to show that this approach works, say, for classical mechanics. If successful, this would surely count as a major argument in favor of discrete proposals. As it happens, some very important work has already been done, for what we will need, is a fully formalized version of classical mechanics, not the textbook versions that leave many things unmentioned, but that might prove to be crucial for the underlying geometry. Such versions exist at the present moment, see, e.g., Ax (1978), Andréka et al. (2008), Benda (2008), for just a few examples. As it happens, one of the earliest versions involves Patrick Suppes, see McKinsey, Sugar &amp; Suppes (1953). Thus the enterprise seems to be a genuine possibility. The second route is to explore the fundamental research going on in the search for a unification of QFT and GRT. Up to some years ago this was all highly speculative, today a few serious contestants are emerging and worth following up. That being said, both on the mathematical as on the physical level an enormous amount of work remains to be done. Probably the best way to characterize the present-day situation is that some “famous” objections to a discrete or finitist approach in geometry have been (partially) answered and that a host of mathematical, physical and philosophical suggestions and ideas have been presented, and partial models have been developed or are being elaborated. In other words, the conditions are satisfied that make it interesting to continue this research program.