Hume's critique of the contract theory