Text this: Formal Methods in Macro-Biology