One key aim of Grafen’s Formal Darwinism project is to formalize ‘modern biology’s understanding and updating of Darwin’s central argument’. In this commentary, I consider whether Grafen has succeeded in this aim.