Adhoc Reading 2: Formal Approach to Explainability