modifProof