Text this: The formal Darwinism project: a mid-term report.