The Wisdom of Proofs by Contradiction