Stav dette: Mathematical models in biological discovery