Rules of Reduction Rules of Reduction