opposite is also true: for every Pareto-efficient allocation x, there exists a positive vector a such that x maximizes Wa. A shorter proof is provided by Hal Varian. Use in engineering The notion of Pareto efficiency has been used in engineering. Given a set of choices and a way of valuing them, the Pareto front (or Pareto set or Pareto frontier) is the set of choices that are Pareto-efficient. By restricting attention to the set of choices that are Pareto-efficient, a designer can make trade-offs within this set, rather than considering the full range of every parameter. Use in public policy Modern microeconomic theory has drawn heavily upon the concept of Pareto efficiency for inspiration. Pareto and his successors have tended to describe this technical definition of optimal resource allocation in the context of it being an equilibrium that can theoretically be achieved within an abstract model of market competition. It has therefore very often been treated as a corroboration of Adam Smith's "invisible hand" notion. More specifically, it motivated the debate over "market socialism" in the 1930s. However, because the Pareto-efficient outcome is difficult to assess in the real world when issues including asymmetric information, signalling, adverse selection, and moral hazard are introduced, most people do not take the theorems of welfare economics as accurate descriptions of the real world. Therefore, the significance of the two welfare theorems of economics is in their ability to generate a framework that has dominated neoclassical thinking about public policy. That framework is that the welfare economics theorems allow the political economy to be studied in the following two situations: "market failure" and "the problem of redistribution". Analysis of "market failure" can be understood by the literature surrounding externalities. When comparing the "real" economy to the complete contingent markets economy (which is considered efficient), the inefficiencies become clear. These inefficiencies, or externalities, are then able to be addressed by mechanisms, including property rights and corrective taxes. Analysis of "the problem with redistribution" deals with the observed political question of how income or commodity taxes should be utilized. The theorem tells us that no taxation is Pareto-efficient and that taxation with redistribution is Pareto-inefficient. Because of this, most of the literature is focused on finding solutions where given there is a tax structure, how can the tax structure prescribe a situation where no person could be made better off by a change in available