Rohin Shah comments on An Ambitious Vision for Interpretability