Pātuhitia tēnei: Explanation and Proof in Mathematics