Slides for Meeting 53


  1. Loop Invariants, Part 1