Clean up the explanations/definitions of these concepts. See: https://electowiki.org/wiki/Pareto_efficiency