Text this: Explanation and Proof in Mathematics