M. Lange, “Explanatory Proofs and Grounding in Mathematics: A Reply to Maarefi”, CRHF, vol. 57, no. 170, pp. 99–113, Sep. 2025.