Lecture 5: Writing a Simple Contract