From David Gerard, “Matters of Life and Death: An Informal Introduction to Formal Modeling with Thomas Schelling,” Lawrence University Freshman Studies Lecture, October 20, 2014.