6.858 Spring 2020 Lecture 1: Introduction