Libertarian Theory of Contract