Start on reachability analysis.