Added pareto_optimal()