Proofs by contradiction