Seol mar théacs é seo: On validation and invalidation of biological models