@ludwigABAP Assume it isn’t. Then there is some stronger proof method. Then there is some statement P => Q which this method can prove, yet proof by contradiction cannot. Then not (P => Q) is true. Contradiction. Therefore proof by contradiction is S tier.