Slides for Meeting 55

1. Loop Invariants, Part 2