Ground and Explanation in Mathematics