Lecture 4: Structure of a smart contract