add transformation to operation formalization