Challenges Facing Counterfactual Accounts of Explanation in Mathematics