Working on reachable set analysis.