Inference to the Best Explanation is an Important Form of Reasoning in Mathematics