Harnisch proofs