Updated Reachability module. Z