NOTE: Due to technical difficulties, lecture 19 is from a previous semester. Relevant content for this semester begins around 21:00.