Revert "pareto less operator not required anymore"

This reverts commit 0d85919d96205e81da101b35a320b31fa44476b2.