added minimization statement