9.4 Algebraic Rules for Transformations