Code is contract: challenges • Is there a contract? • What are its terms? Smart Legally contracts binding contracts 34