“…The first is the ‘new’ interpretation of Fisher's fundamental theorem of natural selection, on which the theorem is exactly true for any evolving population that satisfies some minimal assumptions (Price, ; Ewens, , , ; Frank & Slatkin, ; Edwards, , ; Lessard, ; Plutynski, ; Okasha, ; Bijma, ). The second development is the Formal Darwinism project of Alan Grafen and colleagues, which forges links between formal representations of gene frequency change and optimal strategy choice (Grafen, 1999, 2000, 2002, 2003, 2006 a , b , 2007, 2014; Gardner & Grafen, ; Gardner & Welch, ; Batty et al ., ).…”