Text this: Conditional and Indirect Proofs.