Remove Supplemental Proofs