Typescript lecture notes titled Lecture II