Reduction ad absurdum is proof by contradiction. Assume the opposite, show it leads to absurdity, therefore the original must be true. The most powerful method in logic. #ProofByContradiction