back to lecture notes