A “proof by contradiction” is not a proof that ends with a contradiction
existentialtype.wordpress.com