Simplification now hooked to simplify.