Counterfactuals and modus tollens in abductive arguments