Abduction and Strong Inference