Formal Darwinism