remove old proofs