X: Towards Veri fied Explainability of Deep Neural Networks