Owen Harsch Proofs