Pareto efficiency.
An allocation is
not
Pareto efficient if …
