added Minimization to 7-3