Writing transformation rules