Lec 9: a few additions