SMS dit: On validation and invalidation of biological models