Promises and Smart Contract Theory of Law