more examples of minimization added.