Relevance and Redundancy in Deductive Explanations