9.4 Transformation Rules