Final commit as of the end of the lecture.