Added simplifying procedure.