historical exegesis. Then, the fundamental theorem of the property mechanism is proven, which shows that if "Hume's conditions … Lockean responsibility principle — i.e., "Hume implies Locke." As a major application, the results in their contrapositive … form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. I show that the …