Added comment for ExtractProof method