A Formal Framework to Characterize Interpretability of Procedures
Causality: Models, Reasoning, and Inference