Other than just declaring the reduction in a pr...how will we be able to prove the reduction has actually occurred?