# Verify the ACME label copies release

Run the complete verification of the frozen release with acme-two-copies and read the proof result.

Source: https://help.smartfact.ai/automation/guides/labels-assisted-proof

Audience: Reviewer

Run the complete verification of the frozen release with acme-two-copies and read the proof result.

## Verify the frozen release

1. **Load the ACME label copies release work**

   Load the ACME label copies release work

   Load the frozen release whose expected results you approved.

2. **Verify the frozen release**

   Verify the frozen release

   Run the complete verification. LabelRules works out every expected label decision again and renders each label in software.

3. **Read the proof result**

   Read the proof result

   Read the proof result: passed, with each example’s expected and actual label decision.

4. **Check every example gave the expected decision**

   Check every example gave the expected decision

   Check that all five examples gave the expected label decision.

[Watch or practise this chapter](https://help.smartfact.ai/automation/demo?guide=labels-assisted-proof&chapter=assisted-rule&audience=office)

The frozen release is proved. The author can now submit it for release review.