Working on lecture notes