Chapter 8 - Loop Analysis