Typescript lecture notes titled Lecture III