The formal Darwinism project: a mid‐term report · Study