Section 9.3

Reachability Graph