What was Leon Walras hoping to prove through the development of a general equilibrium theory of markets? What are the properties of a general competitive equilibrium? Why is it considered a state of efficiency? What does efficiency, in the sense of a Pareto Optimum, mean? Did he prove the existence of a general competitive equilibrium?