lecture notes
