Transformation Rules and Definitions