Hasker's SE 1011 notes