Introduction to Smart (legal?) Contracts