Sabine Langer Proofs