SWE 2410 Exercises (Hasker's Section)