Inference to the best explanation