Lange, M. Explanatory Proofs and Grounding in Mathematics: A Reply to Maarefi. CRHF 2025, 57, 99-113.