發送短信: On validation and invalidation of biological models