8.6 - Extra Practice with Indirect Proofs