IntroLecture2023.pdf