Үүнийг мессежээр илгээх: The formal Darwinism project: a mid-term report.