Formal molecular biology