Text this: Lange on Mathematical Explanation, Grounding, and the Divergence Thesis