Zaslat SMS: The formal Darwinism project: a mid-term report.