“…The formal darwinism project is about that relationship, especially the foundational property (Darwin, 1859) that natural selection is an improving process. For a more detailed account of many of the points here that is suitable for a biological audience, with full citations, the reader is referred elsewhere (Grafen, 2007;Batty et al, 2014;Grafen, 2015a;Crewe et al, 2018). The formal darwinism project has already been discussed in a mixed biological and philosophical context (see Grafen, 2014, and associated papers): the main changes since 2014 are the publication of much more rigorous and general mathematical papers (Batty et al, 2014;Crewe et al, 2018), and the greater appreciation of the connection to Fisher (1930)'s fundamental theorem (Grafen, 2015a,b).…”