Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations | Read Paper on Bytez