Added reachability to simple edge cases.