update lecture notes after Dec 5 class