Course lecture on monday, january 7: Lecture of tuesday, december 18 repeated