5-4 Inverses, Contrapositives, and Indirect Reasoning