Inference to the best explanation is coherent by I. Douven