upmc_tv_proofs