 = = = Reachability , transitive closure , and transitive reduction = = = 
 = = = Reachability , transitive closure , and transitive reduction = = = 
= = = Reachability , transitive closure , and transitive reduction = = =