Lecture 8B | MIT 6.001 Structure and Interpretation, 1986