added to lecture notes