Slides for Meeting 53
Loop Invariants, Part 1