A Formal Framework to Characterize Interpretability of Procedures | Read Paper on Bytez