Method contracts for week5 should be done.
Loop invariants for week6 need to be checked, should be okay.