Rules of Reduction

Rules of Reduction