Rules of Reduction