This first mode of freedom is the one which we should know as property, the sphere of formal and abstract right; property in its mediated shape as contract, and right in its infringement as crime and punish lt, are no less a part of this sphere.