Email Record: Toward verified biological models.