Text this: Advances in Mathematics Education Research on Proof and Proving