Abduction aiming at empirical progress or eventruth approximationleading to a challenge for computational modelling · Study