Libertarian Theory of Contracts