Title: Verification of Arms Reductions