Direct and Indirect Proofs