add reachability
clear