There is the corner case where Rewrite is actually a computed sort.
Plus, working on modularity would be easier, since I would have to transform only one object, the Context.