Rewrite sentence about defunctionalization transformations