formal transformation