Explanations and Proof Trees