 Property is of three types for Kant (6:247–48, 260). First is the right to a thing, to corporeal objects in space. Examples of these things include land, animals, and tools. The second is the right against a person, the right to coerce that person to perform an action. This is contract right. The third is the “right to a person akin to a right to a thing”, the most controversial of Kant’s categories in which he includes spouses, children, and servants. Of these three types, the first has already been discussed in relation to acquisition. The second of these, contract right, involves the possession by one person of the “deed” of another (6:274). One person is able to control the choice of another in order to apply the other’s causal powers to some end. At first glance this contract right appears to violate the second formula of the categorical imperative which states that persons are to be treated always as ends and never merely as means. A contract appears to be a case in which an individual is used merely as a means. A homeowner, for example, hires a repair specialist specifically as a means for repairing a house. Kant turns the tables on this problem by showing that a contract is “the united choice of two persons” and thus treats both parties to the contract as ends. For example, he notes that the repair specialist who is contracted to work on a house has agreed to the exchange in order to obtain a personal end, namely, money (27:1319). Each party to the contract is both means for the other and an end.