SE 2811 Exercises (Hasker's Section)