Prove the Extraction Matches the Metric Grain