6.858 Spring 2022 Lecture 1: Introduction