Performed rewrites, saved diagrams