Formal Methods in Macro-Biology | lit.salon