Lecture 4: Smart Contracts as a Solution to a Coordination Problem