This chapter draws an analogy between developing a proof for a mathematical theorem and developing the explanation for a software defect. The first section of this chapter explains how concepts from ...