A Mathematical Philosophy of Explanations in Mechanistic Interpretability | Synapse