Simplification is now order independent.