Zachary Wojtowicz and Simon DeDeo formulated a framework for mathematically understanding the emergent properties of good explanations: co-explanation, descriptiveness, precision, unification, power, and simplicity.