Deconstructing Smart Legal Contracts