update lecture notes after Dec 4 class