# Prove and submit the policy with a17_under_500

Freeze the policy that now includes a17_under_500, read RemnantRack’s proof and submit that exact release for independent review.

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

Audience: Author

Freeze the policy that now includes a17_under_500, read RemnantRack’s proof and submit that exact release for independent review.

## Proof and submission

1. **Load the current remnant policy**

   Load the current remnant policy

   Load the remnant policy with rule a17_under_500 and its reviewed expected results.

2. **Freeze the release candidate**

   Freeze the release candidate

   Freeze the whole policy and its reviewed expected results together as one candidate.

3. **Check the whole policy**

   Check the whole policy

   Run RemnantRack’s complete check of every example, rule, default, length threshold and fixed safeguard for this exact candidate.

4. **Read the proof result**

   Read the proof result

   Read the result: every example gives the expected outcome, the rule decides both pieces under 500 mm and the keep length keeps the others.

5. **Check the 500 mm threshold**

   Check the 500 mm threshold

   Check the 500 mm threshold: RemnantRack tried 499, 500 and 501 mm. 499 mm goes for disposal review; 500 and 501 mm stay in the aluminium rack.

6. **Assemble the exact release proposal**

   Assemble the exact release proposal

   Keep the complete policy, its independent expected results and the proof together.

7. **Request an independent release review**

   Request an independent release review

   Submit this exact policy for a separate person to review. This does not activate it or change any piece.

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

The exact release is submitted for an independent review. Nothing has been activated.