removing old dead proofs