Stav dette: On validation and invalidation of biological models